Abstract Acceleration in Linear relation analysis (extended version)
نویسندگان
چکیده
Acceleration in Linear relation analysis (extended version) Laure Gonnord, Peter Schrammel To cite this version: Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear relation analysis (extended version). 2013. HAL Id: hal-00787212 https://hal.archives-ouvertes.fr/hal-00787212 Submitted on 11 Feb 2013 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
منابع مشابه
LIFL , University of Lille , France and University of Oxford , UK
Acceleration in Linear Relation Analysis (extended version) ha l-0 07 87 21 2, v er si on 1 11 F eb 2 01 3 Gonnord & Schrammel Abstract Acceleration in LRA (extended version) Abstract Linear relation analysis is a classical abstract interpretation based on an over-approximation of reachable numerical states of a program by convex polyhedra. Since it works with a lattice of infinite height, it m...
متن کاملAbstract acceleration in linear relation analysis
acceleration in Linear relation analysis Laure Gonnord, Nicolas Halbwachs To cite this version: Laure Gonnord, Nicolas Halbwachs. Abstract acceleration in Linear relation analysis. 2010. HAL Id: hal-00785116 https://hal.archives-ouvertes.fr/hal-00785116 Submitted on 5 Feb 2013 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whe...
متن کاملUnbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version)
Linear Time Invariant (LTI) systems are ubiquitous in software systems and control applications. Unbounded-time reachability analysis that can cope with industrial-scale models with thousands of variables is needed. To tackle this general problem, we use abstract acceleration, a method for unboundedtime polyhedral reachability analysis for linear systems. Existing variants of the method are res...
متن کاملAccélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires. (Abstract Acceleration to improve precision in Linear Relation Analysis)
متن کامل
On a Discrete Version of a Theorem of Clausen and Its Applications
We formulate a result that states that specific products of two independent solutions of a real three-term recurrence relation will form a basis for the solution space of a four-term linear recurrence relation (thereby extending an old result of Clausen [7] in the continuous case to this discrete setting). We then apply the theory of disconjugate linear recurrence relations to the study of irra...
متن کامل